/**
 * 
 */
package mdp.id;

import java.util.ArrayList;
import java.util.HashMap;


import logic.add.AADD;
import logic.add.DD;
import mdp.id.LogicRDDL2DD.DEBUG;
import mdp.id.LogicRDDL2DD.ORDER;

/**
 * @author NR
 *
 * TODO
 */
public class TestAADDThreshold {
	public static void main(String[] args) {
		AADDHandler handl = new AADDHandler(DEBUG.PROBLEM_INFO, ORDER.INTERLEAVE);
		
		HashMap id2var = new HashMap();
		HashMap var2id = new HashMap();
		
		id2var.put(1, "x");
		id2var.put(2, "y");
		
		var2id.put("x", 1);
		var2id.put("y", 2);
		
		ArrayList ord = new ArrayList();
		ord.add(1);
		ord.add(2);
		
		handl._context = new AADD(ord);
		
		int x = handl._context.getVarNode(1, 1.4, 2.3);
		int y = handl._context.getVarNode(2, 3.4, 1.3);
		
		int sum = handl._context.applyInt(x, y, DD.ARITH_SUM);
		handl.showGraph(sum);
		
		handl.showGraph(handl.thresholdAt(sum, 3.0d));
		
	}
}
